Định lý về đặc trưng qua tập đóng của tập compact

Định lý tập compact đặc trưng qua tập đóng là một phát biểu định lý trong ngành tô pô học: Nếu một họ các tập con đóng có tính giao hữu hạn bất kì có phần giao khác ∅ {\displaystyle \emptyset } thì không gian là compact.[1]